let duplicate = (Store(f, s)) => Store(make_store(f), s);
